ISO/IEC 13817-1:1996

ISO/IEC 13817-1:1996: изд.1 XJ JTC 1/SC 22

Информационные технологии. Языки программирования, их среды и интерфейсы системного программного обеспечения. Венский метод разработки. Язык спецификации. Часть 1. Базовый язык

—————

раздел 35.060

Игры ⚽ Нужно сделать НИР?

35.060 — Языки, используемые в информационных технологиях ISO 6160:1979 ISO 7185:1990 ISO 8485:1989 ISO 8651 1:1988 ISO 8651 2:1988 ISO 8651 3:1988 ISO 8807:1989 ISO/IEC 1539 1:2004 ISO/IEC 1539 2:2000 … Стандарты Международной организации по стандартизации (ИСО)
Vienna Development Method — The Vienna Development Method (VDM) is one of the longest established Formal Methods for the development of computer based systems. Originating in work done at IBM s Vienna Laboratory [Some idea of that work, including a technical report TR… … Wikipedia

Словари и энциклопедии на Академике